<?php

class Catalogo extends BaseCatalogo
{
  // JHM - 09/01/09
  public function __toString()
  {
    return $this->getNombre();
  }

}
